include ../Makefile.kernel

debug:
	/home/kazasou/Documents/pintos/src/utils/pintos --gdb -- run alarm-multiple